En lógica y filosofía del lenguaje, un metalenguaje es un lenguaje que se usa para hablar acerca de otro lenguaje.^[1]​ Al lenguaje acerca del cual se está hablando se le llama el lenguaje objeto.^[1]​ El metalenguaje puede ser idéntico al lenguaje objeto, por ejemplo cuando se habla acerca del español usando el español mismo.^[2]​ Un metalenguaje a la vez puede ser el lenguaje objeto de otro metalenguaje de orden superior, y así sucesivamente. Distintos metalenguajes pueden hablar acerca de diferentes aspectos de un mismo lenguaje objeto.

Los modelos formales de sintaxis para la descripción de la gramática, como por ejemplo, la gramática generativa, son tipos de metalenguaje.

En un sentido más general, puede referirse a cualquier terminología o lenguaje usado para hablar con referencia al mismo lenguaje. Por ejemplo, un texto sobre gramática o una discusión acerca del uso del lenguaje.